Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
871	Differential Dynamic Logic for Verifying Parametric Hybrid Systems Andr´e Platzer1,2 1 University 2 Carnegie Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:58 Proof theory Differential equations Logic in computer science Control theory Hybrid system Sequent Mathematical logic Dynamic logic Mathematics Science Logic
872	GAUSS BOUNDS OF QUADRATIC EXTENSIONS FRANZ LEMMERMEYER Abstract. We give a simple proof of results of Lubelski and Lakein on Gauss bounds for quadratic extensions of imaginary quadratic Euclidean number fields. Add to Reading List Source URL: www.fen.bilkent.edu.tr Language: English - Date: 2003-09-11 11:03:12 Algebraic number theory Quadratic forms Field theory Ring theory Ideal class group Ideals Euclidean algorithm Algebraic number field Quadratic field Abstract algebra Algebra Mathematics
873	Pretending Atomicity Leslie Lamport and Fred B. Schneider May 1, 1989 ii Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 14:07:02 Symmetry Mathematical logic Theoretical computer science Program logic Proof theory Curry–Howard correspondence Predicate transformer semantics Mathematics Group action Group theory
874	2008 Paper 2 Question 4 Discrete Mathematics Let I be a non-empty subset of the natural numbers N = {1, 2, 3, · · ·}. The set S is defined to be least subset of N such that I ⊆ S, and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:23 Mathematical induction Proof theory Greatest common divisor Divisor Summation Mathematics Mathematical logic Inductive reasoning
875	Moore’s Proof and Martin Davies’s epistemic projects* Annalisa Coliva Abstract In the recent literature on Moore’s Proof of an external world, it has emerged that different diagnoses of the argument’s failure are Add to Reading List Source URL: cdm.unimo.it Language: English - Date: 2008-09-17 08:13:16 Philosophy Knowledge Critical thinking Arguments Belief Warrant Coherentism Theory of justification Reason Justification Epistemology Reasoning
876	A language for mathematical knowledge management Steven Kieffer1 , Jeremy Avigad2 , and Harvey Friedman3? 1 2 Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2008-05-06 09:00:00 Model theory Functions and mappings Function First-order logic New Foundations Interpretation Mathematical proof Structure Type theory Mathematics Mathematical logic Logic
877	Moore’s Proof, liberals and conservatives—is there a (Wittgensteinian) third way?* Annalisa Coliva Università di Modena e Reggio Emilia In the last few years there has been a resurgence of interest in Moore’s Pro Add to Reading List Source URL: cdm.unimo.it Language: English - Date: 2008-09-17 08:12:13 Philosophical movements Skepticism Philosophical skepticism Warrant Theory of justification Internalism and externalism David Hume Idealism Cartesian doubt Philosophy Epistemology Justification
878	Because Hitler did it! Quantitative tests of Bayesian argumentation using Ad Hominem Adam J. L. Harris, Anne S. Hsu, and Jens K. Madsen University College London, UK Add to Reading List Source URL: ahsu.psychol.ucl.ac.uk Language: English - Date: 2012-01-09 14:22:41 Genetic fallacies Thought Rhetoric Debating Reductio ad Hitlerum Bayesian probability Ad hominem Argumentation theory Mathematical proof Critical thinking Arguments Logic
879	Modelling Combinatorial Auctions in Linear Logic Add to Reading List Source URL: www.danieleporello.net Language: English - Date: 2012-12-06 05:17:38 Metalogic Proof theory Philosophical logic Linear logic Auction Sequent calculus If and only if Well-formed formula Entailment Logic Binary operations Logical syntax
880	Dependent Types for an Adequate Programming of Algebra Sergei D. Meshveliani ? Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:56:04 Functional languages Agda Haskell Proof assistant Dependent type Fold Functional programming Q Type system Software engineering Computing Programming language theory

UPDATE